good_results = [
    0x3f59e713, #test 0
    0x3f59e713, #test 1
    0x3f59e713, #test 2
    0x3f59e713, #test 3
    0x3f59e713, #test 4
    0x3f59e713, #test 5
    0x3f59e713, #test 6
    0x3f59e713, #test 7
    0x3f59e713, #test 8
    0x3f59e713, #test 9
    0x3f59e713, #test 10
    0x3f59e713, #test 11
    -0x6d2cbb37, #test 12
    0x6e68c033, #test 13
    -0x325d263a, #test 14
    0x6e68c033, #test 15
    0x6e68c033, #test 16
    0x6e68c033, #test 17
    -0x2210eeff, #test 18
    -0x2210eeff, #test 19
    -0x2210eeff, #test 20
    -0x2210eeff, #test 21
    0x66481daf, #test 22
    -0x2210eeff, #test 23
    0x4ba6c490, #test 24
    0x4ba6c490, #test 25
    0x4ba6c490, #test 26
    0x4ba6c490, #test 27
    0x4ba6c490, #test 28
    0x4ba6c490, #test 29
    -0x1f044984, #test 30
    -0x1f044984, #test 31
    -0x1f044984, #test 32
    -0x1f044984, #test 33
    -0x1f044984, #test 34
    -0x1f044984, #test 35
    0x3f59e713, #test 36
    0x3f59e713, #test 37
    0x3f59e713, #test 38
    0x3f59e713, #test 39
    0x3f59e713, #test 40
    0x3f59e713, #test 41
    0x3f59e713, #test 42
    0x3f59e713, #test 43
    0x3f59e713, #test 44
    0x3f59e713, #test 45
    0x3f59e713, #test 46
    0x3f59e713, #test 47
    0x6e68c033, #test 48
    0x6e68c033, #test 49
    0x6e68c033, #test 50
    0x6e68c033, #test 51
    0x6e68c033, #test 52
    0x6e68c033, #test 53
    -0x2210eeff, #test 54
    -0x2210eeff, #test 55
    -0x2210eeff, #test 56
    -0x2210eeff, #test 57
    -0x2210eeff, #test 58
    -0x2210eeff, #test 59
    -0x2210eeff, #test 60
    -0x2210eeff, #test 61
    -0x2210eeff, #test 62
    -0x2210eeff, #test 63
    -0x2210eeff, #test 64
    -0x2210eeff, #test 65
    -0x2210eeff, #test 66
    -0x2210eeff, #test 67
    -0x2210eeff, #test 68
    -0x2210eeff, #test 69
    -0x2210eeff, #test 70
    -0x2210eeff, #test 71
]